package threadtest;

import org.eclipse.emf.ecore.EObject;

import testplugin.PapyrusListener;
import fr.inria.atlanmod.dummy.Mock;

public  class VerificationRunnable implements Runnable
{

	/**
	 * The component that executes the model verification 
	 */
	private Mock mock;
	
	/**
	 * The element that triggered the model verification 
	 */
	private EObject modifiedObject;
	
	/**
	 * The result of the model verification
	 */
	private boolean markersNeeded;
	
	/**
	 * The component that launched the job
	 */
	private PapyrusListener papyruslistener;
	
	@Override
	public void run()
	{
		mock= new Mock();
		mock.verifyModel(modifiedObject);
		if(true)
		{
			papyruslistener.showMarkersAndHighlight(mock.getObjectsToMark());
		}
	}
	
	public Object getModifiedObject() {
		return modifiedObject;
	}

	public void setModifiedObject(EObject modifiedObject) {
		this.modifiedObject = modifiedObject;
	}
	
	public Mock getMock() {
		return mock;
	}

	public void setMock(Mock mock) {
		this.mock = mock;
	}
	
	public PapyrusListener getPapyruslistener() {
		return papyruslistener;
	}

	public void setPapyruslistener(PapyrusListener papyruslistener) {
		this.papyruslistener = papyruslistener;
	}

}
